Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 533 (Lecture Notes in Computer Science)
by Hans Kleine B??ning,Wolfgang Sch??nfeld,Egon B??rger,Michael M. Richter
ISBN 13: 9783540544876
Format: Paperback (412 pages) Publisher: Springer Published: 11 Sep 1991
Save for later